
in       a (3 downto 0) X;;;
in       b (3 downto 0) X;;;
out      result (3 downto 0) X;;;
in       vss B;;
in       vdd B;;

begin

-- Pattern description :
--         A  B   Res     V V

<   0ns>: 0  0  ?*  0 1;
< +10ns>: 0  0  ?*  0 1;
< +10ns>: 0  0  ?*  0 1;
< +10ns>: 0  1  ?*  0 1;
< +10ns>: 0  1  ?*  0 1;
< +10ns>: 0  2  ?*  0 1;
< +10ns>: 0  2  ?*  0 1;
< +10ns>: 0  3  ?*  0 1;
< +10ns>: 0  3  ?*  0 1;
< +10ns>: 0  4  ?*  0 1;
< +10ns>: 0  4  ?*  0 1;
< +10ns>: 0  5  ?*  0 1;
< +10ns>: 0  5  ?*  0 1;
< +10ns>: 0  6  ?*  0 1;
< +10ns>: 0  6  ?*  0 1;
< +10ns>: 0  7  ?*  0 1;
< +10ns>: 0  7  ?*  0 1;
< +10ns>: 0  8  ?*  0 1;
< +10ns>: 0  8  ?*  0 1;
< +10ns>: 0  9  ?*  0 1;
< +10ns>: 0  9  ?*  0 1;
< +10ns>: 0  a  ?*  0 1;
< +10ns>: 0  a  ?*  0 1;
< +10ns>: 0  b  ?*  0 1;
< +10ns>: 0  b  ?*  0 1;
< +10ns>: 0  c  ?*  0 1;
< +10ns>: 0  c  ?*  0 1;
< +10ns>: 0  d  ?*  0 1;
< +10ns>: 0  d  ?*  0 1;
< +10ns>: 0  e  ?*  0 1;
< +10ns>: 0  e  ?*  0 1;
< +10ns>: 0  f  ?*  0 1;
< +10ns>: 0  f  ?*  0 1;
< +10ns>: 1  0  ?*  0 1;
< +10ns>: 1  0  ?*  0 1;
< +10ns>: 1  1  ?*  0 1;
< +10ns>: 1  1  ?*  0 1;
< +10ns>: 1  2  ?*  0 1;
< +10ns>: 1  2  ?*  0 1;
< +10ns>: 1  3  ?*  0 1;
< +10ns>: 1  3  ?*  0 1;
< +10ns>: 1  4  ?*  0 1;
< +10ns>: 1  4  ?*  0 1;
< +10ns>: 1  5  ?*  0 1;
< +10ns>: 1  5  ?*  0 1;
< +10ns>: 1  6  ?*  0 1;
< +10ns>: 1  6  ?*  0 1;
< +10ns>: 1  7  ?*  0 1;
< +10ns>: 1  7  ?*  0 1;
< +10ns>: 1  8  ?*  0 1;
< +10ns>: 1  8  ?*  0 1;
< +10ns>: 1  9  ?*  0 1;
< +10ns>: 1  9  ?*  0 1;
< +10ns>: 1  a  ?*  0 1;
< +10ns>: 1  a  ?*  0 1;
< +10ns>: 1  b  ?*  0 1;
< +10ns>: 1  b  ?*  0 1;
< +10ns>: 1  c  ?*  0 1;
< +10ns>: 1  c  ?*  0 1;
< +10ns>: 1  d  ?*  0 1;
< +10ns>: 1  d  ?*  0 1;
< +10ns>: 1  e  ?*  0 1;
< +10ns>: 1  e  ?*  0 1;
< +10ns>: 1  f  ?*  0 1;
< +10ns>: 1  f  ?*  0 1;
< +10ns>: 2  0  ?*  0 1;
< +10ns>: 2  0  ?*  0 1;
< +10ns>: 2  1  ?*  0 1;
< +10ns>: 2  1  ?*  0 1;
< +10ns>: 2  2  ?*  0 1;
< +10ns>: 2  2  ?*  0 1;
< +10ns>: 2  3  ?*  0 1;
< +10ns>: 2  3  ?*  0 1;
< +10ns>: 2  4  ?*  0 1;
< +10ns>: 2  4  ?*  0 1;
< +10ns>: 2  5  ?*  0 1;
< +10ns>: 2  5  ?*  0 1;
< +10ns>: 2  6  ?*  0 1;
< +10ns>: 2  6  ?*  0 1;
< +10ns>: 2  7  ?*  0 1;
< +10ns>: 2  7  ?*  0 1;
< +10ns>: 2  8  ?*  0 1;
< +10ns>: 2  8  ?*  0 1;
< +10ns>: 2  9  ?*  0 1;
< +10ns>: 2  9  ?*  0 1;
< +10ns>: 2  a  ?*  0 1;
< +10ns>: 2  a  ?*  0 1;
< +10ns>: 2  b  ?*  0 1;
< +10ns>: 2  b  ?*  0 1;
< +10ns>: 2  c  ?*  0 1;
< +10ns>: 2  c  ?*  0 1;
< +10ns>: 2  d  ?*  0 1;
< +10ns>: 2  d  ?*  0 1;
< +10ns>: 2  e  ?*  0 1;
< +10ns>: 2  e  ?*  0 1;
< +10ns>: 2  f  ?*  0 1;
< +10ns>: 2  f  ?*  0 1;
< +10ns>: 3  0  ?*  0 1;
< +10ns>: 3  0  ?*  0 1;
< +10ns>: 3  1  ?*  0 1;
< +10ns>: 3  1  ?*  0 1;
< +10ns>: 3  2  ?*  0 1;
< +10ns>: 3  2  ?*  0 1;
< +10ns>: 3  3  ?*  0 1;
< +10ns>: 3  3  ?*  0 1;
< +10ns>: 3  4  ?*  0 1;
< +10ns>: 3  4  ?*  0 1;
< +10ns>: 3  5  ?*  0 1;
< +10ns>: 3  5  ?*  0 1;
< +10ns>: 3  6  ?*  0 1;
< +10ns>: 3  6  ?*  0 1;
< +10ns>: 3  7  ?*  0 1;
< +10ns>: 3  7  ?*  0 1;
< +10ns>: 3  8  ?*  0 1;
< +10ns>: 3  8  ?*  0 1;
< +10ns>: 3  9  ?*  0 1;
< +10ns>: 3  9  ?*  0 1;
< +10ns>: 3  a  ?*  0 1;
< +10ns>: 3  a  ?*  0 1;
< +10ns>: 3  b  ?*  0 1;
< +10ns>: 3  b  ?*  0 1;
< +10ns>: 3  c  ?*  0 1;
< +10ns>: 3  c  ?*  0 1;
< +10ns>: 3  d  ?*  0 1;
< +10ns>: 3  d  ?*  0 1;
< +10ns>: 3  e  ?*  0 1;
< +10ns>: 3  e  ?*  0 1;
< +10ns>: 3  f  ?*  0 1;
< +10ns>: 3  f  ?*  0 1;
< +10ns>: 4  0  ?*  0 1;
< +10ns>: 4  0  ?*  0 1;
< +10ns>: 4  1  ?*  0 1;
< +10ns>: 4  1  ?*  0 1;
< +10ns>: 4  2  ?*  0 1;
< +10ns>: 4  2  ?*  0 1;
< +10ns>: 4  3  ?*  0 1;
< +10ns>: 4  3  ?*  0 1;
< +10ns>: 4  4  ?*  0 1;
< +10ns>: 4  4  ?*  0 1;
< +10ns>: 4  5  ?*  0 1;
< +10ns>: 4  5  ?*  0 1;
< +10ns>: 4  6  ?*  0 1;
< +10ns>: 4  6  ?*  0 1;
< +10ns>: 4  7  ?*  0 1;
< +10ns>: 4  7  ?*  0 1;
< +10ns>: 4  8  ?*  0 1;
< +10ns>: 4  8  ?*  0 1;
< +10ns>: 4  9  ?*  0 1;
< +10ns>: 4  9  ?*  0 1;
< +10ns>: 4  a  ?*  0 1;
< +10ns>: 4  a  ?*  0 1;
< +10ns>: 4  b  ?*  0 1;
< +10ns>: 4  b  ?*  0 1;
< +10ns>: 4  c  ?*  0 1;
< +10ns>: 4  c  ?*  0 1;
< +10ns>: 4  d  ?*  0 1;
< +10ns>: 4  d  ?*  0 1;
< +10ns>: 4  e  ?*  0 1;
< +10ns>: 4  e  ?*  0 1;
< +10ns>: 4  f  ?*  0 1;
< +10ns>: 4  f  ?*  0 1;
< +10ns>: 5  0  ?*  0 1;
< +10ns>: 5  0  ?*  0 1;
< +10ns>: 5  1  ?*  0 1;
< +10ns>: 5  1  ?*  0 1;
< +10ns>: 5  2  ?*  0 1;
< +10ns>: 5  2  ?*  0 1;
< +10ns>: 5  3  ?*  0 1;
< +10ns>: 5  3  ?*  0 1;
< +10ns>: 5  4  ?*  0 1;
< +10ns>: 5  4  ?*  0 1;
< +10ns>: 5  5  ?*  0 1;
< +10ns>: 5  5  ?*  0 1;
< +10ns>: 5  6  ?*  0 1;
< +10ns>: 5  6  ?*  0 1;
< +10ns>: 5  7  ?*  0 1;
< +10ns>: 5  7  ?*  0 1;
< +10ns>: 5  8  ?*  0 1;
< +10ns>: 5  8  ?*  0 1;
< +10ns>: 5  9  ?*  0 1;
< +10ns>: 5  9  ?*  0 1;
< +10ns>: 5  a  ?*  0 1;
< +10ns>: 5  a  ?*  0 1;
< +10ns>: 5  b  ?*  0 1;
< +10ns>: 5  b  ?*  0 1;
< +10ns>: 5  c  ?*  0 1;
< +10ns>: 5  c  ?*  0 1;
< +10ns>: 5  d  ?*  0 1;
< +10ns>: 5  d  ?*  0 1;
< +10ns>: 5  e  ?*  0 1;
< +10ns>: 5  e  ?*  0 1;
< +10ns>: 5  f  ?*  0 1;
< +10ns>: 5  f  ?*  0 1;
< +10ns>: 6  0  ?*  0 1;
< +10ns>: 6  0  ?*  0 1;
< +10ns>: 6  1  ?*  0 1;
< +10ns>: 6  1  ?*  0 1;
< +10ns>: 6  2  ?*  0 1;
< +10ns>: 6  2  ?*  0 1;
< +10ns>: 6  3  ?*  0 1;
< +10ns>: 6  3  ?*  0 1;
< +10ns>: 6  4  ?*  0 1;
< +10ns>: 6  4  ?*  0 1;
< +10ns>: 6  5  ?*  0 1;
< +10ns>: 6  5  ?*  0 1;
< +10ns>: 6  6  ?*  0 1;
< +10ns>: 6  6  ?*  0 1;
< +10ns>: 6  7  ?*  0 1;
< +10ns>: 6  7  ?*  0 1;
< +10ns>: 6  8  ?*  0 1;
< +10ns>: 6  8  ?*  0 1;
< +10ns>: 6  9  ?*  0 1;
< +10ns>: 6  9  ?*  0 1;
< +10ns>: 6  a  ?*  0 1;
< +10ns>: 6  a  ?*  0 1;
< +10ns>: 6  b  ?*  0 1;
< +10ns>: 6  b  ?*  0 1;
< +10ns>: 6  c  ?*  0 1;
< +10ns>: 6  c  ?*  0 1;
< +10ns>: 6  d  ?*  0 1;
< +10ns>: 6  d  ?*  0 1;
< +10ns>: 6  e  ?*  0 1;
< +10ns>: 6  e  ?*  0 1;
< +10ns>: 6  f  ?*  0 1;
< +10ns>: 6  f  ?*  0 1;
< +10ns>: 7  0  ?*  0 1;
< +10ns>: 7  0  ?*  0 1;
< +10ns>: 7  1  ?*  0 1;
< +10ns>: 7  1  ?*  0 1;
< +10ns>: 7  2  ?*  0 1;
< +10ns>: 7  2  ?*  0 1;
< +10ns>: 7  3  ?*  0 1;
< +10ns>: 7  3  ?*  0 1;
< +10ns>: 7  4  ?*  0 1;
< +10ns>: 7  4  ?*  0 1;
< +10ns>: 7  5  ?*  0 1;
< +10ns>: 7  5  ?*  0 1;
< +10ns>: 7  6  ?*  0 1;
< +10ns>: 7  6  ?*  0 1;
< +10ns>: 7  7  ?*  0 1;
< +10ns>: 7  7  ?*  0 1;
< +10ns>: 7  8  ?*  0 1;
< +10ns>: 7  8  ?*  0 1;
< +10ns>: 7  9  ?*  0 1;
< +10ns>: 7  9  ?*  0 1;
< +10ns>: 7  a  ?*  0 1;
< +10ns>: 7  a  ?*  0 1;
< +10ns>: 7  b  ?*  0 1;
< +10ns>: 7  b  ?*  0 1;
< +10ns>: 7  c  ?*  0 1;
< +10ns>: 7  c  ?*  0 1;
< +10ns>: 7  d  ?*  0 1;
< +10ns>: 7  d  ?*  0 1;
< +10ns>: 7  e  ?*  0 1;
< +10ns>: 7  e  ?*  0 1;
< +10ns>: 7  f  ?*  0 1;
< +10ns>: 7  f  ?*  0 1;
< +10ns>: 8  0  ?*  0 1;
< +10ns>: 8  0  ?*  0 1;
< +10ns>: 8  1  ?*  0 1;
< +10ns>: 8  1  ?*  0 1;
< +10ns>: 8  2  ?*  0 1;
< +10ns>: 8  2  ?*  0 1;
< +10ns>: 8  3  ?*  0 1;
< +10ns>: 8  3  ?*  0 1;
< +10ns>: 8  4  ?*  0 1;
< +10ns>: 8  4  ?*  0 1;
< +10ns>: 8  5  ?*  0 1;
< +10ns>: 8  5  ?*  0 1;
< +10ns>: 8  6  ?*  0 1;
< +10ns>: 8  6  ?*  0 1;
< +10ns>: 8  7  ?*  0 1;
< +10ns>: 8  7  ?*  0 1;
< +10ns>: 8  8  ?*  0 1;
< +10ns>: 8  8  ?*  0 1;
< +10ns>: 8  9  ?*  0 1;
< +10ns>: 8  9  ?*  0 1;
< +10ns>: 8  a  ?*  0 1;
< +10ns>: 8  a  ?*  0 1;
< +10ns>: 8  b  ?*  0 1;
< +10ns>: 8  b  ?*  0 1;
< +10ns>: 8  c  ?*  0 1;
< +10ns>: 8  c  ?*  0 1;
< +10ns>: 8  d  ?*  0 1;
< +10ns>: 8  d  ?*  0 1;
< +10ns>: 8  e  ?*  0 1;
< +10ns>: 8  e  ?*  0 1;
< +10ns>: 8  f  ?*  0 1;
< +10ns>: 8  f  ?*  0 1;
< +10ns>: 9  0  ?*  0 1;
< +10ns>: 9  0  ?*  0 1;
< +10ns>: 9  1  ?*  0 1;
< +10ns>: 9  1  ?*  0 1;
< +10ns>: 9  2  ?*  0 1;
< +10ns>: 9  2  ?*  0 1;
< +10ns>: 9  3  ?*  0 1;
< +10ns>: 9  3  ?*  0 1;
< +10ns>: 9  4  ?*  0 1;
< +10ns>: 9  4  ?*  0 1;
< +10ns>: 9  5  ?*  0 1;
< +10ns>: 9  5  ?*  0 1;
< +10ns>: 9  6  ?*  0 1;
< +10ns>: 9  6  ?*  0 1;
< +10ns>: 9  7  ?*  0 1;
< +10ns>: 9  7  ?*  0 1;
< +10ns>: 9  8  ?*  0 1;
< +10ns>: 9  8  ?*  0 1;
< +10ns>: 9  9  ?*  0 1;
< +10ns>: 9  9  ?*  0 1;
< +10ns>: 9  a  ?*  0 1;
< +10ns>: 9  a  ?*  0 1;
< +10ns>: 9  b  ?*  0 1;
< +10ns>: 9  b  ?*  0 1;
< +10ns>: 9  c  ?*  0 1;
< +10ns>: 9  c  ?*  0 1;
< +10ns>: 9  d  ?*  0 1;
< +10ns>: 9  d  ?*  0 1;
< +10ns>: 9  e  ?*  0 1;
< +10ns>: 9  e  ?*  0 1;
< +10ns>: 9  f  ?*  0 1;
< +10ns>: 9  f  ?*  0 1;
< +10ns>: a  0  ?*  0 1;
< +10ns>: a  0  ?*  0 1;
< +10ns>: a  1  ?*  0 1;
< +10ns>: a  1  ?*  0 1;
< +10ns>: a  2  ?*  0 1;
< +10ns>: a  2  ?*  0 1;
< +10ns>: a  3  ?*  0 1;
< +10ns>: a  3  ?*  0 1;
< +10ns>: a  4  ?*  0 1;
< +10ns>: a  4  ?*  0 1;
< +10ns>: a  5  ?*  0 1;
< +10ns>: a  5  ?*  0 1;
< +10ns>: a  6  ?*  0 1;
< +10ns>: a  6  ?*  0 1;
< +10ns>: a  7  ?*  0 1;
< +10ns>: a  7  ?*  0 1;
< +10ns>: a  8  ?*  0 1;
< +10ns>: a  8  ?*  0 1;
< +10ns>: a  9  ?*  0 1;
< +10ns>: a  9  ?*  0 1;
< +10ns>: a  a  ?*  0 1;
< +10ns>: a  a  ?*  0 1;
< +10ns>: a  b  ?*  0 1;
< +10ns>: a  b  ?*  0 1;
< +10ns>: a  c  ?*  0 1;
< +10ns>: a  c  ?*  0 1;
< +10ns>: a  d  ?*  0 1;
< +10ns>: a  d  ?*  0 1;
< +10ns>: a  e  ?*  0 1;
< +10ns>: a  e  ?*  0 1;
< +10ns>: a  f  ?*  0 1;
< +10ns>: a  f  ?*  0 1;
< +10ns>: b  0  ?*  0 1;
< +10ns>: b  0  ?*  0 1;
< +10ns>: b  1  ?*  0 1;
< +10ns>: b  1  ?*  0 1;
< +10ns>: b  2  ?*  0 1;
< +10ns>: b  2  ?*  0 1;
< +10ns>: b  3  ?*  0 1;
< +10ns>: b  3  ?*  0 1;
< +10ns>: b  4  ?*  0 1;
< +10ns>: b  4  ?*  0 1;
< +10ns>: b  5  ?*  0 1;
< +10ns>: b  5  ?*  0 1;
< +10ns>: b  6  ?*  0 1;
< +10ns>: b  6  ?*  0 1;
< +10ns>: b  7  ?*  0 1;
< +10ns>: b  7  ?*  0 1;
< +10ns>: b  8  ?*  0 1;
< +10ns>: b  8  ?*  0 1;
< +10ns>: b  9  ?*  0 1;
< +10ns>: b  9  ?*  0 1;
< +10ns>: b  a  ?*  0 1;
< +10ns>: b  a  ?*  0 1;
< +10ns>: b  b  ?*  0 1;
< +10ns>: b  b  ?*  0 1;
< +10ns>: b  c  ?*  0 1;
< +10ns>: b  c  ?*  0 1;
< +10ns>: b  d  ?*  0 1;
< +10ns>: b  d  ?*  0 1;
< +10ns>: b  e  ?*  0 1;
< +10ns>: b  e  ?*  0 1;
< +10ns>: b  f  ?*  0 1;
< +10ns>: b  f  ?*  0 1;
< +10ns>: c  0  ?*  0 1;
< +10ns>: c  0  ?*  0 1;
< +10ns>: c  1  ?*  0 1;
< +10ns>: c  1  ?*  0 1;
< +10ns>: c  2  ?*  0 1;
< +10ns>: c  2  ?*  0 1;
< +10ns>: c  3  ?*  0 1;
< +10ns>: c  3  ?*  0 1;
< +10ns>: c  4  ?*  0 1;
< +10ns>: c  4  ?*  0 1;
< +10ns>: c  5  ?*  0 1;
< +10ns>: c  5  ?*  0 1;
< +10ns>: c  6  ?*  0 1;
< +10ns>: c  6  ?*  0 1;
< +10ns>: c  7  ?*  0 1;
< +10ns>: c  7  ?*  0 1;
< +10ns>: c  8  ?*  0 1;
< +10ns>: c  8  ?*  0 1;
< +10ns>: c  9  ?*  0 1;
< +10ns>: c  9  ?*  0 1;
< +10ns>: c  a  ?*  0 1;
< +10ns>: c  a  ?*  0 1;
< +10ns>: c  b  ?*  0 1;
< +10ns>: c  b  ?*  0 1;
< +10ns>: c  c  ?*  0 1;
< +10ns>: c  c  ?*  0 1;
< +10ns>: c  d  ?*  0 1;
< +10ns>: c  d  ?*  0 1;
< +10ns>: c  e  ?*  0 1;
< +10ns>: c  e  ?*  0 1;
< +10ns>: c  f  ?*  0 1;
< +10ns>: c  f  ?*  0 1;
< +10ns>: d  0  ?*  0 1;
< +10ns>: d  0  ?*  0 1;
< +10ns>: d  1  ?*  0 1;
< +10ns>: d  1  ?*  0 1;
< +10ns>: d  2  ?*  0 1;
< +10ns>: d  2  ?*  0 1;
< +10ns>: d  3  ?*  0 1;
< +10ns>: d  3  ?*  0 1;
< +10ns>: d  4  ?*  0 1;
< +10ns>: d  4  ?*  0 1;
< +10ns>: d  5  ?*  0 1;
< +10ns>: d  5  ?*  0 1;
< +10ns>: d  6  ?*  0 1;
< +10ns>: d  6  ?*  0 1;
< +10ns>: d  7  ?*  0 1;
< +10ns>: d  7  ?*  0 1;
< +10ns>: d  8  ?*  0 1;
< +10ns>: d  8  ?*  0 1;
< +10ns>: d  9  ?*  0 1;
< +10ns>: d  9  ?*  0 1;
< +10ns>: d  a  ?*  0 1;
< +10ns>: d  a  ?*  0 1;
< +10ns>: d  b  ?*  0 1;
< +10ns>: d  b  ?*  0 1;
< +10ns>: d  c  ?*  0 1;
< +10ns>: d  c  ?*  0 1;
< +10ns>: d  d  ?*  0 1;
< +10ns>: d  d  ?*  0 1;
< +10ns>: d  e  ?*  0 1;
< +10ns>: d  e  ?*  0 1;
< +10ns>: d  f  ?*  0 1;
< +10ns>: d  f  ?*  0 1;
< +10ns>: e  0  ?*  0 1;
< +10ns>: e  0  ?*  0 1;
< +10ns>: e  1  ?*  0 1;
< +10ns>: e  1  ?*  0 1;
< +10ns>: e  2  ?*  0 1;
< +10ns>: e  2  ?*  0 1;
< +10ns>: e  3  ?*  0 1;
< +10ns>: e  3  ?*  0 1;
< +10ns>: e  4  ?*  0 1;
< +10ns>: e  4  ?*  0 1;
< +10ns>: e  5  ?*  0 1;
< +10ns>: e  5  ?*  0 1;
< +10ns>: e  6  ?*  0 1;
< +10ns>: e  6  ?*  0 1;
< +10ns>: e  7  ?*  0 1;
< +10ns>: e  7  ?*  0 1;
< +10ns>: e  8  ?*  0 1;
< +10ns>: e  8  ?*  0 1;
< +10ns>: e  9  ?*  0 1;
< +10ns>: e  9  ?*  0 1;
< +10ns>: e  a  ?*  0 1;
< +10ns>: e  a  ?*  0 1;
< +10ns>: e  b  ?*  0 1;
< +10ns>: e  b  ?*  0 1;
< +10ns>: e  c  ?*  0 1;
< +10ns>: e  c  ?*  0 1;
< +10ns>: e  d  ?*  0 1;
< +10ns>: e  d  ?*  0 1;
< +10ns>: e  e  ?*  0 1;
< +10ns>: e  e  ?*  0 1;
< +10ns>: e  f  ?*  0 1;
< +10ns>: e  f  ?*  0 1;
< +10ns>: f  0  ?*  0 1;
< +10ns>: f  0  ?*  0 1;
< +10ns>: f  1  ?*  0 1;
< +10ns>: f  1  ?*  0 1;
< +10ns>: f  2  ?*  0 1;
< +10ns>: f  2  ?*  0 1;
< +10ns>: f  3  ?*  0 1;
< +10ns>: f  3  ?*  0 1;
< +10ns>: f  4  ?*  0 1;
< +10ns>: f  4  ?*  0 1;
< +10ns>: f  5  ?*  0 1;
< +10ns>: f  5  ?*  0 1;
< +10ns>: f  6  ?*  0 1;
< +10ns>: f  6  ?*  0 1;
< +10ns>: f  7  ?*  0 1;
< +10ns>: f  7  ?*  0 1;
< +10ns>: f  8  ?*  0 1;
< +10ns>: f  8  ?*  0 1;
< +10ns>: f  9  ?*  0 1;
< +10ns>: f  9  ?*  0 1;
< +10ns>: f  a  ?*  0 1;
< +10ns>: f  a  ?*  0 1;
< +10ns>: f  b  ?*  0 1;
< +10ns>: f  b  ?*  0 1;
< +10ns>: f  c  ?*  0 1;
< +10ns>: f  c  ?*  0 1;
< +10ns>: f  d  ?*  0 1;
< +10ns>: f  d  ?*  0 1;
< +10ns>: f  e  ?*  0 1;
< +10ns>: f  e  ?*  0 1;
< +10ns>: f  f  ?*  0 1;
< +10ns>: f  f  ?*  0 1;

end;
